| Dozent | Priv.-Doz. Dr. Lew Gordeew |
| Sprechstunde | n.V., Morgenstelle, C3 (Tel. 2978589, e-mail: gordeew@informatik.uni-tuebingen.de) |
| Zeit | Di 1416, Übungen n.V. |
| Umfang | 2 + 2 |
| Beginn | 15. 4. 1997 |
| Ort | Morgenstelle |
| Prüfungsfach | Theoretische Informatik |
Beschreibung:
Es wird eine konstruktive Fassung von beweistheoretischen Grundlagen
der Logik und Algebra vorgeführt. Einige ausgewählte Kalküle,
ihre Vollständigkeit und Implementierung werden untersucht unter Benutzung
klassischer und neuartiger Schnitteliminationstheorie. Zu den letzteren
zählen u.a. Display-Verfahren und Methoden der Termersetzung.
Voraussetzungen:
Grundkenntnisse in Logik, z.B. aus der Vorlesung Logik für
Informatiker im Wintersemester 1996/97
Literatur:
wird in der Vorlesung bekanntgegeben.
Bemerkungen:
Bei entsprechendem Interesse und der Bereitschaft, sich eventuell fehlende
Grundlagen selbst zu erarbeiten, kann die Vorlesung auch unabhängig
vom erfolgten Besuch der Vorlesung Logik für Informatiker besucht
werden.